Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems
نویسندگان
چکیده
This paper considers a sampling–based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of interest, one generally needs to handle large, possibly non– convex or non–feasible optimization problems. To avoid such problems, we propose a constructive and systematically applicable sampling–based method to Lyapunov’s inequality verification. This approach proposes verification of the decrease condition for a candidate Lyapunov function on a finite sampling of a bounded set of initial conditions and then it extends the validity of the Lyapunov function to an infinite set of initial conditions by automatically exploiting continuity properties. This result is based on multi–resolution sampling, to perform efficient state– space exploration. Using hyper–rectangles as basic sampling blocks, to account for different constraint scales on different states, further reduces the amount of samples to be verified. Moreover, the verification is decentralized in the sampling points, which makes the method scalable. The proposed methodology is illustrated through examples.
منابع مشابه
Enlarging Domain of Attraction for a Special Class of Continuous-time Quadratic Lyapunov Function Piecewise Affine Systems based on Discontinuous Piecewise
This paper presents a new approach to estimate and to enlarge the domain of attraction for a planar continuous-time piecewise affine system. Various continuous Lyapunov functions have been proposed to estimate and to enlarge the system’s domain of attraction. In the proposed method with a new vision and with the aids of a discontinuous piecewise quadratic Lyapunov function, the domain of attrac...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملStabilization of Networked Control Systems with Piecewise Constant Generalized Sampled-data Hold Function
This paper is concerned with the control problem of networked control systems (NCSs) with piecewise constant generalized sampled-data hold function (PCGSHF). A new hybrid nonlinear NCSs model based on the PCGSHF is constructed, in which both the network-induced delay and the packet dropouts are considered in the transmission. By using a novel multi-datum point parameter method, the obtained NCS...
متن کاملAnalysis of the Coupled Nonlinear Vibration of a Two-Mass System
This paper presents a fixed-end two-mass system (TMS) with end constraints that permits uncoupled solutions for different masses. The coupled nonlinear models for the present fixed-end TMS were solved using the continuous piecewise linearization method (CPLM) and detailed investigation on the effect of mass-ratio on the TMS response was conducted. The investigations showed that increased mass-r...
متن کاملPresentation of quasi-linear piecewise selected models simultaneously with designing of bump-less optimal robust controller for nonlinear vibration control of composite plates
The idea of using quasi-linear piecewise models has been established on the decomposition of complicated nonlinear systems, simultaneously designing with local controllers. Since the proper performance and the final system close loop stability are vital in multi-model controllers designing, the main problem in multi-model controllers is the number of the local models and their position not payi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1609.00302 شماره
صفحات -
تاریخ انتشار 2016